Nicolaus Hussovianus’ Carmen de bisonte im intertextuellen Schnittfeld antiker Reformatio-Sehnsüchte)

Algorithmic in the 12th Century: The Carmen de Algorismo by Alexander de Villa Dei

Historical Symposium on Nicolaus Steno

An international symposium on Nicolaus Steno and brain research in the seventeenth century was held in Copenhagen on 18-20 August 1965. The meeting was sponsored by the International Academy of the History of Medicine and the International Brain Research Organization, and organized by the Danish Society for the History of Medicine. Fifty-seven members, representing fourteen countries, took part...

11 Carmen Perez.indd

address correspondence to: Carmen M. Pérez, MHSN, LND, RD, Universidad del Turabo, School of Health Sciences, PO Box 3030 Gurabo, Puerto Rico, 00778-3030. Tel: (787) 743-7979 ext 4062 • Fax: (787) 704-2703 • Email: [email protected] Herbal remedies have been widely used in many countries for centuries, and the products enjoyed a surge in popularity in the USa during the late '90s. During the pas...

The CARMEN Neuroscience Server

Understanding the brain is one of the major scientific challenges. It requires the capability to synthesize a detailed and applicable understanding of the way in which information is encoded, accessed, analysed, archived and decoded in neuronal networks. Data is difficult and expensive to produce, but is rarely shared and collaboratively exploited. The main reason for this is that a proliferati...

Carmen: Software Component Model Checker

The challenge of model checking of isolated software components becomes more and more relevant with the boom of componentoriented technologies [20]. An important issue here is how to verify an open model representing an isolated software component (also referred as the missing environment problem in [17]). In this paper, we propose on-the-fly simulation of the component environment to address t...